Speech Driven Environmental Control System ( SPECS ) – From Specification to Prototype
نویسنده
چکیده
منابع مشابه
Signal Design at lsolated lntersecaions Using Expert Systems Technology
The procedural steps for developing an expert system for designing signals at isolated intersections are described and the most important development issues for each step are discussed. The steps include problem analysis and definition, preliminary prototype specification, knowledge acquisition strategy development, prototype development plan, knowledge extraction, knowledge representation, too...
متن کاملSpecification Translation of State Machines from Equational Theories into Rewrite Theories
Specifications of state machines in CafeOBJ are called equational theory specifications (EQT Specs) which are based on equational logic, and in Maude are called rewrite theory specifications (RWT Specs) which are based on rewriting logic. The translation from EQT Specs to RWT Specs achieves the collaboration between CafeOBJ’s theorem proving facilities and Maude’s model checking facilities. How...
متن کاملEnvironmental Knowledge Management and Spatial Business Rules in the SPeCS Collaborative Framework
Good acquaintance with an organization’s business rules is an undeniable success factor in a decision-making process. In environmental studies, decisions are multidisciplinary, rule oriented and are very much related to spatiality. SPeCS (Spatial Decision Support Collaborative System) is a framework which intends to support the aspects of multi-criteria spatial analysis within a distributed GIS...
متن کاملSynthesizing Structured Analysis and Object-Oriented Specifications
Structured Analysis (SA) is a widely-used software development method. SA specifications are based on Data Flow Diagrams (DFD's), Data Dictionaries (DD's) and data transformation specifications (P-Specs). As used in practice, SA specifications are not formal. Seemingly orthogonal approaches to specifications are those using formal, object-oriented, model-based specification languages, e.g., VDM...
متن کاملThe Class Validation System
ix CHAPTER 1 SOFTWARE DESIGN AND TESTING 1 Formal Specifications 3 Software Testing 4 Functional Testing 7 Goals of This Research 9 CHAPTER 2 SPECS-C++ 11 Executability of SPECS-C++ 16 Implementation of SPECS-C++ Prototyping Compiler 18 CHAPTER 3 THE SPECS-C++ COMPILER 26 Enhancements to the SPECS-C++ Compiler 27 Limitations of Current Compiler 29 Representation Mapping Compiler 29 Support for ...
متن کامل